1

Completeness of intermediate logics with doubly negated axioms

Year:
2014
Language:
english
File:
PDF, 163 KB
english, 2014
3

Reduction of provability logics to Σ 1 -provability logics

Year:
2015
Language:
english
File:
PDF, 83 KB
english, 2015
4

Localizing finite-depth Kripke models

Year:
2018
Language:
english
File:
PDF, 409 KB
english, 2018
5

The de Jongh property for Basic Arithmetic

Year:
2014
Language:
english
File:
PDF, 254 KB
english, 2014
6

The Σ 1 -provability logic of

Year:
2018
Language:
english
File:
PDF, 1.00 MB
english, 2018
8

The Σ1-Provability Logic of HA

Year:
2019
Language:
english
File:
PDF, 360 KB
english, 2019